sum::int->int->int
sum x y = x+y 

cte::int->int
cte x = x

maint::int
maint = sum (cte 1) 2